explicit solver